Enum isotope::ast::Expr [−][src]
pub enum Expr { }
Expand description
An isotope
expression
Variants
An identifier
Var(u32)
A variable index
App(App)
A function application
Lambda(Lambda)
A lambda function
Pi(Pi)
A dependent function type
Universe(Universe)
A typing universe
Enum(Enum)
An enumeration
A variant
Boolean(bool)
A boolean value
Natural(BigUint)
A natural number
The type of booleans
The unit type
Case(Case)
A case expression
Annotated(Annotated)
An annotated term
Scope(Scope)
A scope
Implementations
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for Expr
impl UnwindSafe for Expr
Blanket Implementations
Mutably borrows from an owned value. Read more
Borrow an optional value of type T
Compare self to key
and return true
if they are equal.